<html>
<head><meta charset="utf-8"><title>miri stack · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20stack.html">miri stack</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="158037455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20stack/near/158037455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20stack.html#158037455">(Feb 11 2019 at 15:18)</a>:</h4>
<blockquote>
<p>Borrow being dereferenced (Uniq(1771)) does not exist on the stack</p>
</blockquote>
<p>This is a different "stack" than the function call stack, yes? If so, I'd avoid using that term in this context, or qualifying it more.</p>



<a name="158039768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20stack/near/158039768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20stack.html#158039768">(Feb 11 2019 at 15:43)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="120791">@RalfJ</span> ^</p>



<a name="158042820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20stack/near/158042820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20stack.html#158042820">(Feb 11 2019 at 16:23)</a>:</h4>
<p>yeah it is a different stack</p>



<a name="158042833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20stack/near/158042833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20stack.html#158042833">(Feb 11 2019 at 16:23)</a>:</h4>
<p>what about "the borrow stack"?^^</p>



<a name="158042986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20stack/near/158042986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20stack.html#158042986">(Feb 11 2019 at 16:24)</a>:</h4>
<p>Is that what you've used in the blog posts? It sounds familiar...</p>



<a name="158055788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20stack/near/158055788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20stack.html#158055788">(Feb 11 2019 at 19:12)</a>:</h4>
<p>I call the entire thing "Stacked Borrows"</p>



<a name="158055808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20stack/near/158055808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20stack.html#158055808">(Feb 11 2019 at 19:12)</a>:</h4>
<p>I dont think I used a special term for the stack, but I might have</p>



<a name="158689186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20stack/near/158689186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20stack.html#158689186">(Feb 16 2019 at 10:48)</a>:</h4>
<p>"not found in active borrows" might be better, not sure</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>